<?php

session_start();

if (isset($_POST['deconnexion'])) {

    session_unset();

    session_destroy();
}
header("location: /WorkshopN/index.php");
?>
